Nancy Day

Associate Professor

• Home
• Publications
  • Journals/Conferences
  • Technical Reports
  • Theses
  • Artifacts
• Students
• Teaching
• Service
• Contact



• Google Scholar
• DBLP
• ACM Digital Library

Artifacts

Most of my artifacts can now be found at the: Watform github.

Here are links to some past artifacts from my publications and other work. Each artifact contains its citation information.

• Catalyst: Tools for collecting Alloy models
• ALDB: A Debugger for Alloy models of Transition Systems
• Dash: An Extension to Alloy for Modelling Transition Systems
• Alloy modules for TCMC
• Alloy modules and models from MiSE 2019
• Models from MODRE 2018 publication (models in B, Dash, and TLA+)
• Dash Models from MODRE 2017 publication
• SMT models from 2014 FSE publication